Semicomputable predicate
[计] 半可计算谓词
🧩 词语组成解析
[计] 半可计算的
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
🗣️ 情景例句
The baby-sitter called.
临时保姆打电话来了。
It matters not how long we live but how.
问题不是活得多么长，而是活得怎么样。
Yes, he'll be all right soon. I'm sure of that!
是的，他很快就没事了。我肯定！